Scope and Anaphoric Links in Dynamic Discourse Representation Theory

نویسندگان

  • So-Woo Chung
  • Jungmin Lee
چکیده

This paper analyzes anaphoric links in conditional and quantificational structures in which more than one operator occurs. To this end, we adopt the indexing system and the basic principles of Dynamic Discourse Representation Theory proposed by Chung (2008a, 2008b, 2009) and extend them to the structures in question. We also propose that a restrictor discourse representation structure of a quantification or conditional operator is an island which blocks any quantification or conditional operator inside it from introducing its own restrictor DRS out of it. This implies that a quantifier phrase can have wide scope over another quantifier or conditional operator only when the first occurs in the scope DRS of the latter.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Compositional, Variable Free, Binding Free and Structure Oriented Discourse Interpretation

Our main objective will be to construct a fully compositional representation of nominal anaphora in discourse. The proposed representation is not dependent on the remote ascription (i.e. done outside the formal representation) of syntactic indexes, which identify anaphoric links. A formal language of variable free logic is introduced. It is based on dynamic semantics paradigm and is a variant o...

متن کامل

Dynamic Representation of Nominal Anaphora without Syntactic Indexing

The main goal of the work presented here is the construction of fully compositional representation of nominal anaphora in discourse. The proposed representation does not depend on the remote ascription (done outside the formal representation) of syntactic indexes, identifying anaphoric links. A formal language, based on dynamic semantics paradigm and being a variant of many-sorted type logic, i...

متن کامل

Representation Theory 1090 Jan

Discourse Representation Theory is a specific name for the work of Hans Kamp in the area of dynamic interpretation of natural language. Also, it has gradually become a generic term for proposals for dynamic interpretation of natural language in the same spirit. These proposals have in common that each new sentence is interpreted in terms of the contribution it makes to an existing piece of inte...

متن کامل

Updating Anaphoric Contexts

An incremental semantics for a logic with dynamic binding is developed on the basis of a variable free notation for dynamic logic that takes its cue from De Bruijn's variable free notation for lambda calculus. De Bruijn indexing replaces variables by indices which indicate the distance to their binders. We propose to use reverse De Bruijn indexing, which works almost the same, only now the indi...

متن کامل

A Type Reduction from Proof-conditional to Dynamic Semantics

Dynamic and proof-conditional approaches to discourse (exemplified by Discourse Representation Theory and Type-Theoretical Grammar, respectively) are related through translations and transitions labeled by first-order formulas with anaphoric twists. Type-theoretic contexts are defined relative to a signature and instantiated model-theoretically, subject to change.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009